export interface Todo {
    id: number;
    text: string;
    done: boolean;
}

export type Filters=["全部","已完成",'未完成']